Fmas2022 | Formal Verification For Neural Networks In Autonomous Cyber-Physical Systems

FMAS2022 | Formal Verification for Neural Networks in Autonomous Cyber-Physical Systems

Formal Methods Europe

[CORA] Formal Verification of Neural Networks: Set-Based Training for Neural Network Verification

TUM Cyber-Physical Systems

Verification of machine learning based cyber-physical systems: a comparative study

Association for Computing Machinery (ACM)

"Abstractions for Scalable Verification of AI-Controlled Cyber-Physical Systems" | VNN 2020

Conference on Computer-Aided Verification

Formal Verification of Neural Networks: A “Step Zero” Approach for Vehicle Detection - IEA/AIE 2024

[CORA] Formal Verification of Neural Networks: NN-Controlled Car Keeps Safe Distance

TUM Cyber-Physical Systems

FMAS 2021 - Understanding and Verifying Deep Neural Networks

Formal Methods Europe

Gabor Karsai: "Towards Assurance-based Learning-enabled Cyber-Physical Systems"

Institute for Pure & Applied Mathematics (IPAM)

Talk by Prof Pavithra Prabhakar on Abstractions for Scalable Verification of AI Controlled Cyber Ph

Robert Bosch Centre for Cyber Physical Systems IISc

Metacognition in Cyber-Physical Systems

DIREC TALK: Formal Verification and Machine Learning Joining Forces

Digital Research Centre Denmark - DIREC

[SAS23] Boosting Multi-Neuron Convex Relaxation for Neural Network Verification

[FTSCS]Synchronous Programming and Refinement Types in Robotics: From Verification to Implementation

[PADL'24] Whats and Whys of Neural Network Verification (A Declarative Programming Perspec...

"Model-based Development and Assurance of Learning-enabled Cyber..." Gabor Karsai (MODELSWARD 2022)

Towards Verified Deep Learning

Simons Institute

What is Neural Network Verification?

Sydney Michelle Katz

Machine Learning For The Safety Validation Of Autonomous Vehicles